翻訳と辞書 Words near each other ・ Internal arcuate fibers ・ Internal audit ・ Internal Audit Department, Luxembourg ・ Internal Audit Service ・ Internal Audit Service (European Commission) ・ Internal auditor ・ Internal auditory meatus ・ Internal auditory veins ・ Internal balance ・ Internal ballistics ・ Internal bleeding ・ Internal Bleeding Strawberry ・ Internal capsule ・ Internal carotid artery ・ Internal carotid plexus ・ Internal category ・ Internal cerebral veins ・ Internal circulation reactor ・ Internal clock ・ Internal code ・ Internal colonialism ・ Internal Combustion (short story) ・ Internal combustion engine ・ Internal combustion engine cooling ・ Internal communications ・ Internal conflict ・ Internal conflict in Azawad ・ Internal conflict in Bangladesh ・ Internal conflict in Myanmar ・ Internal conflict in Peru Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Internal category ： ウィキペディア英語版 Internal category In mathematics, more specifically in category theory - internal categories are a generalisation of the notion of small category, and are defined with respect to a fixed ambient category. If the ambient category is taken to be the category of sets then one recovers the theory of small categories. In general, internal categories consist of a pair of objects in the ambient category - thought of as the 'object of objects' and 'object of morphisms', together with a collection of morphisms in the ambient category satisfying certain identities. Group objects, are common examples of internal categories. There are notions of internal functors and natural transformations which make the collection of internal categories in a fixed category into a 2-category. ==Definitions== Let $C$ be a category with pullbacks. An internal category in $C$ consists of the following data: two $C$-objects $C\_0,C\_1$ named "object of objects" and "object of morphisms" respectively and four $C$-arrows $d\_0,d\_1:C\_1\backslash rightarrow\; C\_0,\; e:C\_0\backslash rightarrow\; C\_1,m:C\_1\backslash times\_C\_1\backslash rightarrow\; C\_1$ subject to coherence conditions expressing the axioms of category theory. See . 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Internal category」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.